1. Formal modeling and analysis of timed systems :
Author: Joël Ouaknine, Frits W. Vaandrager (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2009eb
